home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Environments / Clean 1.2.4 / IO Examples / Mines / MinesBest.dcl < prev    next >
Encoding:
Modula Definition  |  1996-12-12  |  435 b   |  14 lines  |  [TEXT/3PRM]
  1. definition module MinesBest
  2.  
  3. import deltaPicture, MineTypes
  4.     
  5. BestX            :== 270
  6. BestY            :== 240
  7.  
  8. ReadHiScores    :: !String !Files                            -> (!*File,!MinesBest)
  9. WriteHiScores    :: !*File !MinesBest                        -> Files
  10. ItsABestTime    :: !Int !Dimension !Time !BestTimes            -> Bool
  11. AddBestTime        :: !String !Int !Dimension !Time !BestTimes    -> BestTimes
  12. ShowBestTimes    :: !BestTimes                                -> [DrawFunction]
  13. LimitString        :: !Int !String                                -> String
  14.